A. Lomuscio : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (97)
Les plus populaires
Liste
- Liste
- Tableau

1

Efficacy of Acupuncture in Preventing Atrial Fibrillation Recurrences After Electrical Cardioversion

ALBERTO LOMUSCIO, SEBASTIANO BELLETTI, PIER MARIA BATTEZZATI, FEDERICO LOMBARDI

Journal:

Journal of Cardiovascular Electrophysiology

Année:

2011

Langue:

english

Fichier:

PDF, 245 KB

english, 2011

2

Automated Negotiation: Prospects, Methods and Challenges

N.R. Jennings, P. Faratin, A.R. Lomuscio, S. Parsons, M.J. Wooldridge, C. Sierra

Journal:

Group Decision and Negotiation

Année:

2001

Langue:

english

Fichier:

PDF, 169 KB

english, 2001

3

Bounded model checking for knowledge and real time

Alessio Lomuscio, Wojciech Penczek, Bożena Woźna

Journal:

Artificial Intelligence

Année:

2007

Langue:

english

Fichier:

PDF, 842 KB

english, 2007

4

Quantified epistemic logics for reasoning about knowledge in multi-agent systems

F. Belardinelli, A. Lomuscio

Journal:

Artificial Intelligence

Année:

2009

Langue:

english

Fichier:

PDF, 468 KB

english, 2009

5

Automatic verification of temporal-epistemic properties of cryptographic protocols

Boureanu, Ioana, Cohen, Mika, Lomuscio, Alessio

Journal:

Journal of Applied Non-Classical Logics

Année:

2009

Langue:

english

Fichier:

PDF, 499 KB

english, 2009

6

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || Re-engineering the ISO 15926 Data Model: A Multi-level Metamodel Perspective

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 156 KB

english, 2014

7

Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems

Ezekiel, J., Lomuscio, A.

Journal:

Information and Computation

Année:

2016

Langue:

english

Fichier:

PDF, 1.96 MB

english, 2016

8

A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems

Franco Raimondi, Alessio Lomuscio

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 184 KB

english, 2004

9

Intrafamilial and sexual transmission of hepatitis C virus

Fa Scaraggi, S. Lomuscio, A. Perricci, V. De Mitrio, N. Napoli, O. Schíraldi

Journal:

Année:

1993

Langue:

english

Fichier:

PDF, 328 KB

english, 1993

10

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || A Requirements-Based Model for Effort Estimation in Service-Oriented Systems

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 472 KB

english, 2014

11

Knowledge in multiagent systems: initial configurations and broadcast

Lomuscio, Alessio R., van der Meyden, Ron, Ryan, Mark

Journal:

ACM Transactions on Computational Logic

Année:

2000

Langue:

english

Fichier:

PDF, 239 KB

english, 2000

12

Parameterised verification for multi-agent systems

Kouvaros, Panagiotis, Lomuscio, Alessio

Journal:

Artificial Intelligence

Année:

2016

Langue:

english

Fichier:

PDF, 1.51 MB

english, 2016

13

Formalisms for multi-agent systems

D'INVERNO, MARK, FISHER, MICHAEL, LOMUSCIO, ALESSIO, LUCK, MICHAEL, DE RIJKE, MAARTEN, RYAN, MARK, WOOLDRIDGE, MICHAEL

Journal:

The Knowledge Engineering Review

Année:

1997

Langue:

english

Fichier:

PDF, 291 KB

english, 1997

14

The Dynamics of Knowledge || Deontic Interpreted Systems

Alessio Lomuscio and Marek Sergot

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 3.24 MB

english, 2003

15

[IEEE 2017 International Joint Conference on Neural Networks (IJCNN) - Anchorage, AK, USA (2017.5.14-2017.5.19)] 2017 International Joint Conference on Neural Networks (IJCNN) - Compositional neural-network modeling of complex analog circuits

Hasani, Ramin M., Haerle, Dieter, Baumgartner, Christian F., Lomuscio, Alessio R., Grosu, Radu

Année:

2017

Langue:

english

Fichier:

PDF, 527 KB

english, 2017

16

[IEEE 2019 International Joint Conference on Neural Networks (IJCNN) - Budapest, Hungary (2019.7.14-2019.7.19)] 2019 International Joint Conference on Neural Networks (IJCNN) - An MCTS-based Adversarial Training Method for Image Recognition

Liu, Yi-Ling, Lomuscio, Alessio

Année:

2019

Langue:

english

Fichier:

PDF, 1.04 MB

english, 2019

17

[Lecture Notes in Computer Science] Deontic Logic in Computer Science Volume 3065 || Collective Obligations and Agents: Who Gets the Blame?

Lomuscio, Alessio, Nute, Donald

Année:

2004

Fichier:

PDF, 205 KB

2004

18

Bounded Model Checking for Deontic Interpreted Systems

Bożena Woźna, Alessio Lomuscio, Wojciech Penczek

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 387 KB

english, 2005

19

Preface

Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 71 KB

english, 2006

20

A formalisation of violation, error recovery, and enforcement in the bit transmission problem

Alessio Lomuscio, Marek Sergot

Journal:

Journal of Applied Logic

Année:

2004

Langue:

english

Fichier:

PDF, 387 KB

english, 2004

21

Editorial

Alessio Lomuscio, Donald Nute

Journal:

Journal of Applied Logic

Année:

2005

Langue:

english

Fichier:

PDF, 42 KB

english, 2005

22

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

Franco Raimondi, Alessio Lomuscio

Journal:

Journal of Applied Logic

Année:

2007

Langue:

english

Fichier:

PDF, 234 KB

english, 2007

23

A Logic For Ignorance

Wiebe van der Hoek, Alessio Lomuscio

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 197 KB

english, 2004

24

Preface: Volume 85, Issue 2

Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 37 KB

english, 2004

25

Fine needle aspiration cytology of primary lymphoma of the thyroid: a report of 17 cases

G. Sangalli, G. Serio, C. Zampatti, G. Lomuscio, L. Colombo

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 118 KB

english, 2001

26

Upper gastrointestinal involvement in diabetes mellitus: Study of esophagogastric function

Massimo Pozzi, Mariarosa Rivolta, Marisa Gelosa, Maurizio Capra, Giampiero Poggioli, Annamaria Bernasconi, Giuseppe Lomuscio

Journal:

Acta Diabetologica

Année:

1988

Langue:

english

Fichier:

PDF, 567 KB

english, 1988

27

Towards verifying contract regulated service composition

Alessio Lomuscio, Hongyang Qu, Monika Solanki

Journal:

Autonomous Agents and Multi-Agent Systems

Année:

2012

Langue:

english

Fichier:

PDF, 862 KB

english, 2012

28

Preface

Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 65 KB

english, 2005

29

Fine needle aspiration cytology of the thyroid: a comparison of 5469 cytological and final histological diagnoses

G. Sangalli, G. Serio, C. Zampatti, M. Bellotti, G. Lomuscio

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 445 KB

english, 2006

30

A Classification Scheme for Negotiation in Electronic Commerce

Alessio R. Lomuscio, Michael Wooldridge, Nicholas R. Jennings

Journal:

Group Decision and Negotiation

Année:

2003

Langue:

english

Fichier:

PDF, 156 KB

english, 2003

31

Radionuclide assessment of left ventricular function in patients with mycardial infarction and diabetes mellitus

A. LOMUSCIO, A. BESTETTI, D. VERGANI, D. CHIARAMELLO, A. CHITI, L. RUFFINI, L. POZZONI, G. L. TAROLO

Journal:

Journal of Internal Medicine

Année:

1992

Langue:

english

Fichier:

PDF, 280 KB

english, 1992

32

Influence of free testosterone on antigen levels of plasminogen activator inhibitor-1 in premonopausal women with central obesity

G. De Pergola, V. De Mitrio, A. Perricci, M. Cignarelli, G. Garruti, S. Lomuscio, G. Ferri, O. Schiraldi, R. Giorgino

Journal:

Année:

1992

Langue:

english

Fichier:

PDF, 436 KB

english, 1992

33

“Self and parent-assessed skin cancer risk factors in school-age children”

M.C. Cercato, E. Nagore, V. Ramazzotti, C. Guillén, I. Terrenato, J. Villena, M. Lomuscio, P.G. Natali, H.J. Schünemann

Journal:

Preventive Medicine

Année:

2008

Langue:

english

Fichier:

PDF, 141 KB

english, 2008

34

Relationship between HCV infection, liver damage and imbalance of lymphocyte subpopulations in a cohort of hemophiliacs

V. Gambatesa, F.A. Scaraggi, G. Lucivero, G. Fiore, V. De Mitrio, M.P. Loria, S. Lomuscio, A. Perricci, O. Schiraldi

Journal:

Thrombosis Research

Année:

1991

Langue:

english

Fichier:

PDF, 85 KB

english, 1991

35

Acupuncture for paroxysmal and persistent atrial fibrillation: an effective non-pharmacological tool?

Lomuscio Alberto

Journal:

European Journal of Integrative Medicine

Année:

2012

Langue:

english

Fichier:

PDF, 50 KB

english, 2012

36

[ACM Press the 2007 international cross-disciplinary conference - Banff, Canada (2007.05.07-2007.05.08)] Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A) - W4A '07 - Quantitative metrics for measuring web accessibility

Vigo, Markel, Arrue, Myriam, Brajnik, Giorgio, Lomuscio, Raffaella, Abascal, Julio

Année:

2007

Langue:

english

Fichier:

PDF, 265 KB

english, 2007

37

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 ||

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 29.41 MB

english, 2014

38

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || Automation of the SLA Life Cycle in Cloud Computing ⋆

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 158 KB

english, 2014

39

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || SciLightning: A Cloud Provenance-Based Event Notification for Parallel Workflows

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 567 KB

english, 2014

40

Differential response to immobilization stress of striatal dopaminergic and hippocampal noradrenergic systems in aged rats

Algeri, Sergio, Calderini, Gabriella, Lomuscio, Giuseppe, Rocchetti, Maurizio, Sacchetti, Giuseppina, Toffano, Gino, Ponzio, Franca

Journal:

Neurobiology of Aging

Année:

1988

Langue:

english

Fichier:

PDF, 366 KB

english, 1988

41

Abstract No LB08: Percutaneous US-guided interstitial laser ablation of metastatic lymph nodes in the neck from papillary thyroid carcinoma following thyroidectomy and lymphadenectomy

Cova, L., Mauri, G., Tondolo, T., Ierace, T., Garavaglia, M., Baroli, A., Lomuscio, G., Solbiati, L.

Journal:

Journal of Vascular and Interventional Radiology

Année:

2012

Langue:

english

Fichier:

PDF, 75 KB

english, 2012

42

Simultaneous evaluation of left ventricular (LV) wall thickening (TH) and perfusion (PE) with 201-TL gated planar myocardial imaging

VIGNATI, A, MAZZUCCHELLI, L, MEDICI, A, TREDICI, S, LOMUSCIO, G, DOTTORINI, M, COLOMBO, L

Journal:

Journal of Nuclear Cardiology

Année:

1995

Langue:

english

Fichier:

PDF, 114 KB

english, 1995

43

Changes in monamines and their metabolite levels in some brain regions of aged rats

Ponzio, Franca, Calderini, Gabriella, Lomuscio, Giuseppe, Vantini, Guido, Toffano, Gino, Algeri, Sergio

Journal:

Neurobiology of Aging

Année:

1982

Langue:

english

Fichier:

PDF, 559 KB

english, 1982

44

Prevalence of serum IgG antibodies to hepatitis A virus in Italian haemophiliacs

Scaraggi, F.A., Perricci, A., Petronelli, M., Lomuscio, S., De Mitrio, V., Schiraldi, O.

Journal:

Année:

1992

Langue:

english

Fichier:

PDF, 338 KB

english, 1992

45

Changes with age in rat central monoaminergic system responses to cold stress

Algeri, S., Calderini, G., Lomuscio, G., Vantini, G., Toffano, G., Ponzio, F.

Journal:

Neurobiology of Aging

Année:

1982

Langue:

english

Fichier:

PDF, 506 KB

english, 1982

46

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - An Automated Approach to Verifying Diagnosability in Multi-agent Systems

Ezekiel, Jonathan, Lomuscio, Alessio

Année:

2009

Langue:

english

Fichier:

PDF, 380 KB

english, 2009

47

[IEEE 2012 IEEE 19th International Conference on Web Services (ICWS) - Honolulu, HI, USA (2012.06.24-2012.06.29)] 2012 IEEE 19th International Conference on Web Services - Verifying GSM-Based Business Artifacts

Gonzalez, Pavel, Griesmayer, Andreas, Lomuscio, Alessio

Année:

2012

Langue:

english

Fichier:

PDF, 343 KB

english, 2012

48

[IEEE 2009 International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Bradford, United Kingdom (2009.05.26-2009.05.29)] 2009 International Conference on Advanced Information Networking and Applications Workshops - Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach

Lomuscio, Alessio, Solanki, Monika

Année:

2009

Langue:

english

Fichier:

PDF, 329 KB

english, 2009

49

[IEEE 2008 IEEE International Conference on Web Services (ICWS) - Beijing, China (2008.09.23-2008.09.26)] 2008 IEEE International Conference on Web Services - Towards Verifying Contract Regulated Service Composition

Lomuscio, Alessio, Qu, Hongyang, Solanki, Monika

Année:

2008

Langue:

english

Fichier:

PDF, 428 KB

english, 2008

50

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2013 Workshops Volume 8377 || Introducing Policy-Driven Governance and Service Level Failure Mitigation in Cloud Service Brokers: Challenges Ahead

Lomuscio, Alessio R., Nepal, Surya, Patrizi, Fabio, Benatallah, Boualem, Brandić, Ivona

Année:

2014

Langue:

english

Fichier:

PDF, 379 KB

english, 2014